perm filename PRUNE.DAT[ESS,JMC]3 blob
sn#026608 filedate 1973-02-25 generic text, type T, neo UTF8
DICT1 Additions to spelling dictionary
NAMES list of names and addresses
REM 13FEB7 A predicate calculus proof.
BELIEF AI Are beliefs an epiphenomenon?
CANNOT AI Fragment about when a goal can be shown unachievable
GENER AI Abstract Japan lectures generality in AI
KNOW AI Representation of knowledge
KNOW2 AI representation of knowledge
KNOW3 AI Problems about representing knowledge
LANG1 AI Content of natural language
LOGREQ AI Requirements for logical language for AI
MB AI Monkeys and bananas
MC AI Representation of Missionaries and Cannibals
PARA AI Paradigmatic behavior
SEMAN AI Semantics of natural language
AILAB AIL Description of Lab for catalog
PERSON AIL Notes on AI people
POLICY AIL personnel policy of AI Lab
SCROGG AIL Letter on Earnest salary
STULET AIL letter to incoming student research assistants
ARTNA1 ART Outline NI and AI article
ARTNAT ART Artificial Intelligence and Natural Intelligence
ASTRO2 ART part of "Possible forms of intelligence in the universe
ASTRO7 ART more of "Possible forms..."
ASTRO8 ART more of "Possible forms ..."
CHAP1 ART First Chaparral article on technology
CHAP2 ART Second essay on technology in Chaparral
CHAP3 ART Third essay on technology for Chaparral
PHIL ART Philosophical problems from the standpoint of AI
R1300 ART Britannica article on robotics
R1301 ART Notes for Britannica article on robotics
R1302 ART Early version of Britannica robotics article
R1303 ART Outline of Britannica robotics article
REFERE BIB Some references on AI
CONSOL CSD Proposed console system for the department
ANDREI DAT Portrait of Ershov taken with TV
CKSUM DAT Checksum of directory
ED DO DO file for editing
ED1 DO DO file for editing w/o spooling
EDH DO DO file for Imlac editing
PROP ECO Some propositions about ecology
BASIC ESS Research in basic and civilian technology
CAR ESS Computer controlled cars
CHICAR ESS The Chinese can so have cars
CONTEN ESS 25FE73 Contents of essays on technology
CRIME ESS Technology, Crime and Civil Liberties
DELIV ESS 13FEB7 Automatic delivery system.
DIG ESS Tunneling as an example of RANN
EARLID ESS 25FE73 About Earlids
EDUCAT ESS Notes on education
ENERGY ESS Position paper for Sierra Club conference
HOTER ESS Advocating home terminals
IBM ESS 13FEB3 Monopoly and IBM.
INTRO ESS 13FEB7 Introduction to technology book.
ISOLAT ESS 13FEB7 A case for isolationism.
LONG ESS 13FEB7 Technology and long term future.
MONOP ESS 13FEB7 Against monopoly in home terminals.
OBJEC ESS 1972 Objectivity in Human Affairs
PLANE ESS Computer controlled airplanes - a start
POLICE ESS The police as gladiators
SHOCK ESS Future shock is not from technology
SLOGAN ESS Slogans for technology book
SOCIAL ESS 13FEB7 Some social views.
SPACE ESS 13FEB7 Future of space program
STYLE ESS Towards an intellectually honest style of controversy
TCLUB ESS The Stanford Technology club
TECHNO ESS Propositions about technology
TECIND ESS Technology and the individual
UNDER ESS 13FEB7 U.S. and underdeveloped countries.
WOMEN ESS Technology and women's liberation
CLOCK FAI To set watch by
FILEC FAI Program for counting characters
LETTER HED Computer Science Department letter head
AI HIS 13FEB7 History of AI for ARPA.
TIME HIS 13FEB7 History of time-sharing at M.I.T.
VAL JM2 13FEB7 Call by name eval.
TURIN1 LEC Draft of Turing lecture on generality in AI
TURIN2 LEC Outline of Turing lecture
145 LET To Lyman protesting 370/145
BURNS LET 13FEB7 Letter about space travel probably not sent.
DAVID LET Letter to David re White House conference
EVANS LET 13FEB7
EVANS2 LET 13FEB7
FINCH LET Our AP Proposal
GABOR LET Letter to Gabor about his lack of imagination
HOARE LET 13FEB7 About earthquakes.
LARRY3 LET 13FEB7 About foonly
LARRY4 LET 13FEB7 About character reading and III.
LETTV2 LET Letter to Lettvin about his UNESCO talk
LYKOS LET 13FEB7 Proposal on home terminals.
MICHIE LET On social consequences of AI
R1300 LET Response to revision requests
RECRIT LET To Daily criticizing SWOPSI report
SCHOEL LET To Britannica about article
SHOCK LET 13FEB7 Shockley and academic freedom.
WEISSK LET About Weisskopf Science article
WHITE LET About White's energy demand projections in technology review
COMTOP LIS possible commercial projects
SCITOP LIS Scientific topics for essays
TECTOP LIS Topics for essays in technology
BDAY LIT Inviting everyone to the birthday party.
BLOWIN LIT Parody re AI lab
CPHYS LIT A humorous essay - incomplete retyping
DOCDIL LIT The doctor's dilemna
ESSAY LST Proposed essays
AJT MEM Proposed research for Arthur Thomas
RACRUL MEM Rules of 1st Memorial Day Programming Race
AIRLIN MTC The McCarthy airline reservation system problem
LCFMEM MTC Reactions to Milner's LCF plans
QUANT MTC Adding quantifiers to LCS
INFO NEE Wanted facts re technology and environment
AD NET Draft of installation description for network notes
ADTEL NOT 13FEB7 Addresses and telephone numbers.
FOONLY NOT 13FEB7 To foonly project.
MINSKY NOT Note on conversations with Minsky, Papert, Hewitt
NSF NOT 13FEB7 Notes for home terminal proposal.
PEARL NOT Note on Pearl paper on representations
NETDOC PLN 13FEB7 Plan for documents in the network.
ARCH PRO for a moratorium on archaeology
CHARAC PRO Proposed standards for arbitrary character sets
CODE PRO Proposal for file enciphering system
CSDDIS PRO 13FEB7 CSD display system.
ENCYC1 PRO Outline of proposed computer science encyclopedia
INDIA PRO Proposal for keyboarding the literature in India
MITDIS PRO 13FEB7 M.I.T. display system.
NET PRO 13FEB7 SAIL work on network facilities.
NETJO PRO Network scientific journal
NETJO2 PRO July '72 state of network journal proposal
NSF2 PRO 13FEB7 Research on home terminals.
PRIZE PRO proposals for innovation prizes
QA PRO Question answering system for ARPA net
REPRES PRO 13FEB7 Proposed work on representation theory.
SERVIC PRO Proposed computer services to faculty and students
TSS PRO Making TS systems modifyable
IMAGE PSY About mental images
ARPA PUB 13FEB7 Proposal for contract starting July 73.
AI2 QUA 1972 AI Qual
AI72 QUA Spring '72 AI Qual
AISY2 QUA 72 AI qual
AISY69 QUA 1969 AI syllabus
MEMMTC QUA Memo about oscillation of content of MTC qual
MTC71 QUA Fall 1971 MTC Qual
MTCSYL QUA Proposed MTC Syllabus
S5 QUA Solution to problem on Fall '71 MTC Qual
IPT73 REP 13FEB7 Report for 73 IPT conference.
CHILD REV Review of "Children's Thinking" - Margaret Donaldson
LETTVI REV Comments on Lettvin's UNESCO opus
YORICK REV Notes on a paper of Yorick's
MITTOK SPE 13FEB7 Talk to M.I.T. Industrial Liason Symposium
NEWMEX SPE Transcript of speech at New Mexico MTC Conference
COMPUT STA What Stanford needs in computing
FRANK STA Letter to Lyman on keeping Franklin (not sent)
INTRO TEC Intro. to "Technology and the Quality of Life"
TITLE TEC Title page for technology essays
OPTION TXT Login and logout options